:: Int -> CInt -package:combinatorial package:type-map